Continuity is Geometricity
نویسنده
چکیده
This paper is largely a review of known results about various aspects of geometric logic. Following Grothendieck’s view of toposes as generalized spaces, one can take geometric morphisms as generalized continuous maps. The constructivist constraints of geometric logic guarantee the continuity of maps constructed, and can do so from two different points of view: for maps as point transformers and maps as bundles.
منابع مشابه
Lattices Generated by Two Orbits of Subspaces under Finite Singular Symplectic Groups
In the paper titled “Lattices generated by two orbits of subspaces under finite classical group” byWang andGuo.The subspaces in the lattices are characterized and the geometricity is classified. In this paper, the result above is generalized to singular symplectic space. This paper characterizes the subspaces in these lattices, classifies their geometricity, and computes their characteristic po...
متن کاملGeometricity of the Hodge Filtration on the ∞-stack of Perfect Complexes over Xdr
We construct a locally geometric ∞-stack MHod(X,Perf) of perfect complexes with λ-connection structure on a smooth projective variety X. This maps to A1/Gm, so it can be considered as the Hodge filtration of its fiber over 1 which is MDR(X,Perf), parametrizing complexes of DX-modules which are OX -perfect. We apply the result of Toen-Vaquié that Perf(X) is locally geometric. The proof of geomet...
متن کاملFlavour-Oscillation Clocks and the Geometricity of General Relativity
I look at the ‘flavour-oscillation clocks’ proposed by D.V. Ahluwalia, and two arguments of his suggesting that such clocks might behave in a way that threatens the geometricity of general relativity (GR). The first argument states that the behaviour of these clocks in the vicinity of a rotating gravitational source implies a non-geometric element of gravity. I argue that the phenomenon is best...
متن کاملModuli Problems in Derived Noncommutative Geometry
Moduli Problems in Derived Noncommutative Geometry Pranav Pandit Tony Pantev, Advisor We study moduli spaces of boundary conditions in 2D topological field theories. To a compactly generated linear∞-category X , we associate a moduli functor MX parametrizing compact objects in X . Using the Barr-Beck-Lurie monadicity theorem, we show that MX is a flat hypersheaf, and in particular an object in ...
متن کاملDecidability of Geometricity of Regular Languages
Geometrical languages generalize languages introduced to model temporal validation of real-time softwares. We prove that it is decidable whether a regular language is geometrical. This result was previously known for binary languages.
متن کامل